以编译方式翻译C/ C++ 源程序的过程中，类型检查在( )阶段处理。